// ERROR:
type AType = ();

// OK:
type BType = BType;
